Case tree_node(x) => body(x) cont(x1,z)
== (x1.inr(x2)  body(hd((x2.tl(x1)))) ; cont(hd(x1),z))([x1]) 

latex

---

clarification:

Case tree_node(x) => body(x) cont(x1,z)
== (x1.inr(x2)  body(hd((x2.tl(x1)))) ; cont(hd(x1),z))(x1.nil) 

latex

Definitions	Case tree_node(x) => body(x) cont, inr(x)  body(x) ; cont, tl(l), hd(l)
FDL editor aliases	case_tree_node